DEF=errorClaim
TESTDIR=.
KOMPILE_BACKEND=haskell

include ../../../include/kframework/ktest.mak

CONSIDER_PROVER_ERRORS=2>&1
